first-order predicate calculus
un. 一阶谓词演算
[网络] 第一阶述语运算
热门查询
- audiovisual n. 视听教材 adj. 视听的；视听教学的
- prefetching [计] 预取
- eco abbr. 电子耦合振荡器（Electron-Coupled Oscillator）；环境控制组织（Environmental Control Organization）；经济合作组织（Economic Cooperation Organization） n. (Eco)人名；(意)埃科
- folk n. 民族；人们；亲属（复数） adj. 民间的 n. (Folk)人名；(英、匈、捷)福克
- pant n. 气喘；喘息；喷气声 vt. 气喘 vi. 喘息；渴望；气喘吁吁地说出某事 n. (Pant)人名；(印、尼、捷、英)潘特
- uncovering n. 露出；开发；剥离 v. 发现（uncover的现在分词）；揭露；揭开…的盖子；移去…的覆盖物 adj. 露出的；未覆盖的
- godparent n. 教父或教母
- turnbuckle n. 套筒螺母；螺丝扣
- cockeyed adj. 斗鸡眼的；歪的；荒唐的
- chorus n. 合唱队；齐声；歌舞队 vt. 合唱；异口同声地说 vi. 合唱；异口同声地说话 n. (Chorus)人名；(法)肖吕斯
- narcissus n. 水仙
- oocyst n. [无脊椎] 卵囊
- bitchy adj. 恶毒的；暴躁的；犯贱的
- gamboge n. 藤黄；橙黄色
- Dearden [人名] [英格兰人姓氏] 迪尔登住所名称，来源于古英语，含义是“兽，鹿+河谷”(beast,deer+valley)
- liquidation n. 清算；偿还；液化；清除
- fossil fuel n. 化石燃料（如煤或石油） [网络] 矿物燃料；石化燃料；化石能源
- Billington [人名] [英格兰人姓氏] 比林顿住所名称，来源于古英语，含义是“剑形山”(swordshaped hill)，或“比拉的居留地”(settlement of Billa); [地名] [英国] 比灵顿
- current affairs n. 时事 [网络] 时政；时事新闻；时事政治
- tyrannous adj. 暴虐的；压制的
